User:Jon Awbrey/Figures and Tables 2 - Revision history

Jon Awbrey: sub original User:Jon Awbrey/Figures and Tables 2

2026-03-12T13:58:03Z

sub original User:Jon Awbrey/Figures and Tables 2

Show changes

Jon Awbrey: /* Cactus Language Stretching Exercises Display 2 */ resize File:Cactus Language Stretching Exercises Display 2.png | 400px

2025-11-07T23:02:29Z

Cactus Language Stretching Exercises Display 2: resize File:Cactus Language Stretching Exercises Display 2.png | 400px

Jon Awbrey: /* Cactus Language Stretching Exercises Display 2 */ + File:Cactus Language Stretching Exercises Display 2.png

2025-11-07T23:00:16Z

Cactus Language Stretching Exercises Display 2: + File:Cactus Language Stretching Exercises Display 2.png

Jon Awbrey: /* Cactus Language Stretching Exercises Display 1 */ + File:Cactus Language Stretching Exercises Display 1.png | 300px

2025-11-07T22:50:07Z

Cactus Language Stretching Exercises Display 1: + File:Cactus Language Stretching Exercises Display 1.png | 300px

Jon Awbrey: add user work page

2025-11-07T14:54:17Z

add user work page

New page

==Cactus Language Stretching Exercises Display 1==

===PNG===

===LaTeX===

{| align="center" cellpadding="8"
| <math>F(x, y) ~=~ F_{6}^{(2)} (x, y) ~=~ \texttt{(} ~x~ \texttt{,} ~y~ \texttt{)}</math>
|}

==Cactus Language Stretching Exercises Display 2==

===PNG===

===LaTeX===

{| align="center" cellpadding="8"
|
<math>\begin{array}{lll}
[| \downharpoonleft s \downharpoonright |]
& = & [| F |]
\\[4pt]
& = & F^{-1} (1)
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ s ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ F(x, y) = 1 ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ F(x, y) ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ \texttt{(}~x~,~y~\texttt{)} = 1 ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ \texttt{(}~x~,~y~\texttt{)} ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ x ~\mathrm{exclusive~or}~ y ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ \mathrm{just~one~true~of}~ x, y ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ x ~\mathrm{not~equal~to}~ y ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ x \nLeftrightarrow y ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ x \neq y ~\}
\\[4pt]
& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ x + y ~\}.
\end{array}</math>
|}

==Cactus Language Stretching Exercises Display 3==

===PNG===

===LaTeX===

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
p & = & \upharpoonleft P \upharpoonright & : & X \to \mathbb{B}
\\[4pt]
q & = & \upharpoonleft Q \upharpoonright & : & X \to \mathbb{B}
\\[4pt]
(p, q) & = & (\upharpoonleft P \upharpoonright, \upharpoonleft Q \upharpoonright) & : & (X \to \mathbb{B})^2
\end{matrix}</math>
|}

==Cactus Language Stretching Exercises Display 4==

===PNG===

===LaTeX===

{| align="center" cellpadding="8"
|
<math>\begin{array}{ccccl}
F^\$ & = & \underline{(} \ldots, \ldots \underline{)}^\$ & : & (X \to \mathbb{B})^2 \to (X \to \mathbb{B})
\\[4pt]
F^\$ (p, q) & = & \underline{(}~p~,~q~\underline{)}^\$ & : & X \to \mathbb{B}
\end{array}</math>
|}

==Cactus Language Stretching Exercises Display 5==

===PNG===

===LaTeX===

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
F^\$ (p, q)(x) & = & \underline{(}~p~,~q~\underline{)}^\$ (x) & \in & \mathbb{B}
\\[4pt]
\Updownarrow & & \Updownarrow
\\[4pt]
F(p(x), q(x)) & = & \underline{(}~p(x)~,~q(x)~\underline{)} & \in & \mathbb{B}
\end{matrix}</math>
|}

==Cactus Language Stretching Exercises Display 6==

===PNG===

===LaTeX===

{| align="center" cellpadding="8"
|
<math>\begin{array}{lll}
[| F^\$ (p, q) |]
& = & [| \underline{(}~p~,~q~\underline{)}^\$ |]
\\[4pt]
& = & (F^\$ (p, q))^{-1} (1)
\\[4pt]
& = & \{~ x \in X ~:~ F^\$ (p, q)(x) ~\}
\\[4pt]
& = & \{~ x \in X ~:~ \underline{(}~p~,~q~\underline{)}^\$ (x) ~\}
\\[4pt]
& = & \{~ x \in X ~:~ \underline{(}~p(x)~,~q(x)~\underline{)} ~\}
\\[4pt]
& = & \{~ x \in X ~:~ p(x) + q(x) ~\}
\\[4pt]
& = & \{~ x \in X ~:~ p(x) \neq q(x) ~\}
\\[4pt]
& = & \{~ x \in X ~:~ \upharpoonleft P \upharpoonright (x) ~\neq~ \upharpoonleft Q \upharpoonright (x) ~\}
\\[4pt]
& = & \{~ x \in X ~:~ x \in P ~\nLeftrightarrow~ x \in Q ~\}
\\[4pt]
& = & \{~ x \in X ~:~ x \in P\!-\!Q ~\mathrm{or}~ x \in Q\!-\!P ~\}
\\[4pt]
& = & \{~ x \in X ~:~ x \in P\!-\!Q ~\cup~ Q\!-\!P ~\}
\\[4pt]
& = & \{~ x \in X ~:~ x \in P + Q ~\}
\\[4pt]
& = & P + Q ~\subseteq~ X
\\[4pt]
& = & [|p|] + [|q|] ~\subseteq~ X
\end{array}</math>
|}

@@ Line 18: / Line 18: @@
 {| align="center" cellpadding="8"
-| [[File:Cactus Language Stretching Exercises Display 2.png|500px]]
+| [[File:Cactus Language Stretching Exercises Display 2.png|400px]]
 |}

@@ Line 16: / Line 16: @@
 ===PNG===
 ===LaTeX===
@@ Line 33: / Line 37: @@
 & = & \{~ (x, y) \in \mathbb{B}^2 ~:~ F(x, y) ~\}
 \\[4pt]
-& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ \texttt{(}~x~,~y~\texttt{)} = 1 ~\}
+& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ \texttt{(} ~x~ \texttt{,} ~y~ \texttt{)} = 1 ~\}
 \\[4pt]
-& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ \texttt{(}~x~,~y~\texttt{)} ~\}
+& = & \{~ (x, y) \in \mathbb{B}^2 ~:~ \texttt{(} ~x~ \texttt{,} ~y~ \texttt{)} ~\}
 \\[4pt]
 & = & \{~ (x, y) \in \mathbb{B}^2 ~:~ x ~\mathrm{exclusive~or}~ y ~\}

← Older revision		Revision as of 22:50, 7 November 2025
Line 2:		Line 2:

	===PNG===		===PNG===
		+
		+	{\| align="center" cellpadding="8"
		+	\| [[File:Cactus Language Stretching Exercises Display 1.png\|300px]]
		+	\|}

	===LaTeX===		===LaTeX===