Differences

This shows you the differences between two versions of the page.

--- using:syntax_aliases [2024/10/10 16:55] – created fponzi
+++ using:syntax_aliases [2024/10/10 16:59] (current) – fponzi
@@ Line 3: / Line 3: @@
 ^ Symbol ^ Synonym(s) ^
-| \\lnot | ~, \\neg, ¬ |
+| \lnot | ~, \neg, ¬ |
 | [] | □ |
 | <> | ◇ |
-| \\land | /\\, ∧ |
+| \land | /\, ∧ |
-| \\lor | \\/, ∨ |
+| \lor | \/, ∨ |
-| \\equiv | <=>, ≡, ⇔ |
+| \equiv | <=>, ≡, ⇔ |
 | /= | #, ≠ |
-| \\leq | <=, =<, ≤ |
+| \leq | <=, =<, ≤ |
-| \\geq | >=, ≥ |
+| \geq | >=, ≥ |
-| \\times | \\X, × |
+| \times | \X, × |
-| \\intersect | \\cap, ∩ |
+| \intersect | \cap, ∩ |
-| \\union | \\cup, ∪ |
+| \union | \cup, ∪ |
-| \\o | \\circ, ∘ |
+| \o | \circ, ∘ |
-| \\oplus | (+), ⊕ |
+| \oplus | (+), ⊕ |
-| \\ominus | (-), ⊖ |
+| \ominus | (-), ⊖ |
-| \\odot | (.), ⊙ |
+| \odot | (.), ⊙ |
-| \\oslash | (/), ⊘ |
+| \oslash | (/), ⊘ |
-| \\otimes | (\\X), ⊗ |
+| \otimes | (\X), ⊗ |
-| \\approx | ≈ |
+| \approx | ≈ |
-| := | ≔ |
+| '':='' | ''≔'' |
-| \\asymp | ≍ |
+| \asymp | ≍ |
-| \\bigcirc | ◯ |
+| \bigcirc | ◯ |
 | ::= | ⩴ |
-| \\bullet | ● |
+| \bullet | ● |
-| \\cdot | ⋅ |
+| \cdot | ⋅ |
-| \\cong | ≅ |
+| \cong | ≅ |
-| \\div | ÷ |
+| \div | ÷ |
-| \\doteq | ≐ |
+| \doteq | ≐ |
 | .. | ‥ |
 | ... | … |
 | !! | ‼ |
-| \\gg | ≫ |
+| \gg | ≫ |
 | => | ⇒ |
-| \\in | ∈ |
+| \in | ∈ |
-| =| | ⫤ |
+| ''=|'' | ⫤ |
 | ~> | ↝ |
-| \\ll | ≪ |
+| \ll | ≪ |
-| -| | ⊣ |
+| ''-|'' | ⊣ |
-| \\notin | ∉ |
+| \notin | ∉ |
 | -+-> | ⇸ |
-| \\prec | ≺ |
+| \prec | ≺ |
-| \\preceq | ⪯ |
+| \preceq | ⪯ |
-| \\propto | ∝ |
+| \propto | ∝ |
 | ?? | ⁇ |
-| |= | ⊨ |
+| ''|='' | ⊨ |
-| |- | ⊢ |
+| ''|-'' | ⊢ |
-| \\sim | ∼ |
+| \sim | ∼ |
-| \\simeq | ≃ |
+| \simeq | ≃ |
-| \\sqcap | ⊓ |
+| \sqcap | ⊓ |
-| \\sqcup | ⊔ |
+| \sqcup | ⊔ |
-| \\sqsubset | ⊏ |
+| \sqsubset | ⊏ |
-| \\sqsubseteq | ⊑ |
+| \sqsubseteq | ⊑ |
-| \\sqsupset | ⊐ |
+| \sqsupset | ⊐ |
-| \\sqsupseteq | ⊒ |
+| \sqsupseteq | ⊒ |
-| \\star | ⋆ |
+| \star | ⋆ |
-| \\subset | ⊂ |
+| \subset | ⊂ |
-| \\subseteq | ⊆ |
+| \subseteq | ⊆ |
-| \\succ | ≻ |
+| \succ | ≻ |
-| \\succeq | ⪰ |
+| \succeq | ⪰ |
-| \\supset | ⊃ |
+| \supset | ⊃ |
-| \\supseteq | ⊇ |
+| \supseteq | ⊇ |
-| \\uplus | ⊎ |
+| \uplus | ⊎ |
-| || | ‖ |
+| ''||'' | ''‖'' |
-| \\wr | ≀ |
+| \wr | ≀ |
-| ^+ | ⁺ |
+| ''^+'' | ⁺ |