From 415e9adb96df1dd6c29583777c3fac57e2508925 Mon Sep 17 00:00:00 2001 From: Tom Browder Date: Fri, 29 Sep 2017 20:17:24 -0500 Subject: [PATCH] changes for Texas => ASCII --- src/core/set_addition.pm | 2 +- src/core/set_difference.pm | 2 +- src/core/set_elem.pm | 4 ++-- src/core/set_intersection.pm | 2 +- src/core/set_multiply.pm | 2 +- src/core/set_precedes.pm | 4 ++-- src/core/set_proper_subset.pm | 4 ++-- src/core/set_subset.pm | 4 ++-- src/core/set_union.pm | 2 +- 9 files changed, 13 insertions(+), 13 deletions(-) diff --git a/src/core/set_addition.pm b/src/core/set_addition.pm index 2ec24601d44..d597fe781c2 100644 --- a/src/core/set_addition.pm +++ b/src/core/set_addition.pm @@ -1,5 +1,5 @@ # This file implements the following set operators: -# (+) baggy addition (Texas) +# (+) baggy addition (ASCII) # ⊎ baggy addition proto sub infix:<(+)>(|) is pure { * } diff --git a/src/core/set_difference.pm b/src/core/set_difference.pm index 88998a2cd48..76ed6dd8c1a 100644 --- a/src/core/set_difference.pm +++ b/src/core/set_difference.pm @@ -1,5 +1,5 @@ # This file implements the following set operators: -# (-) set difference (Texas) +# (-) set difference (ASCII) # ∖ set difference proto sub infix:<(-)>(|) is pure { * } diff --git a/src/core/set_elem.pm b/src/core/set_elem.pm index 1225f4ebbb9..8f99f53de95 100644 --- a/src/core/set_elem.pm +++ b/src/core/set_elem.pm @@ -1,8 +1,8 @@ # This file implements the following set operators: -# (elem) is an element of (Texas) +# (elem) is an element of (ASCII) # ∈ is an element of # ∉ is NOT an element of -# (cont) contains (Texas) +# (cont) contains (ASCII) # ∋ contains # ∌ does NOT contain diff --git a/src/core/set_intersection.pm b/src/core/set_intersection.pm index 2619c7b8a49..d95d8a30967 100644 --- a/src/core/set_intersection.pm +++ b/src/core/set_intersection.pm @@ -1,5 +1,5 @@ # This file implements the following set operators: -# (&) intersection (Texas) +# (&) intersection (ASCII) # ∩ intersection proto sub infix:<(&)>(|) is pure { * } diff --git a/src/core/set_multiply.pm b/src/core/set_multiply.pm index 3eba6c1f3ea..8b0ec16b973 100644 --- a/src/core/set_multiply.pm +++ b/src/core/set_multiply.pm @@ -1,5 +1,5 @@ # This file implements the following set operators: -# (.) set multiplication (Texas) +# (.) set multiplication (ASCII) # ⊍ set multiplication proto sub infix:<(.)>(|) is pure { * } diff --git a/src/core/set_precedes.pm b/src/core/set_precedes.pm index a2c5c017c18..c3df6282a18 100644 --- a/src/core/set_precedes.pm +++ b/src/core/set_precedes.pm @@ -1,7 +1,7 @@ # This file implements the following set operators: -# (<+) precedes (Texas) +# (<+) precedes (ASCII) # ≼ precedes -# (>+) succeeds (Texas) +# (>+) succeeds (ASCII) # ≽ succeeds proto sub infix:<<(<+)>>($, $ --> Bool:D) is pure { diff --git a/src/core/set_proper_subset.pm b/src/core/set_proper_subset.pm index bd845b61897..d466aee3e33 100644 --- a/src/core/set_proper_subset.pm +++ b/src/core/set_proper_subset.pm @@ -1,8 +1,8 @@ # This file implements the following set operators: -# (<) is a proper subset of (Texas) +# (<) is a proper subset of (ASCII) # ⊂ is a proper subset of # ⊄ is NOT a proper subset of -# (>) is a proper superset of (Texas) +# (>) is a proper superset of (ASCII) # ⊃ is a proper superset of # ⊅ is NOT a proper superset of diff --git a/src/core/set_subset.pm b/src/core/set_subset.pm index 225dd458c0c..f608d73a8ab 100644 --- a/src/core/set_subset.pm +++ b/src/core/set_subset.pm @@ -1,8 +1,8 @@ # This file implements the following set operators: -# (<=) is a subset of (Texas) +# (<=) is a subset of (ASCII) # ⊆ is a subset of # ⊈ is NOT a subset of -# (>=) is a superset of (Texas) +# (>=) is a superset of (ASCII) # ⊇ is a superset of # ⊉ is NOT a superset of diff --git a/src/core/set_union.pm b/src/core/set_union.pm index 44d37ea2e01..6984587c24e 100644 --- a/src/core/set_union.pm +++ b/src/core/set_union.pm @@ -1,5 +1,5 @@ # This file implements the following set operators: -# (|) union (Texas) +# (|) union (ASCII) # ∪ union proto sub infix:<(|)>(|) is pure { * }