Differences

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

--- using:syntax_aliases [2024/10/10 16:56] – fponzi
+++ using:syntax_aliases [2024/10/10 16:59] (current) – fponzi
@@ Line 22: / Line 22: @@
 | \otimes | (\X), ⊗ |
 | \approx | ≈ |
-| := | ≔ |
+| '':='' | ''≔'' |
 | \asymp | ≍ |
 | \bigcirc | ◯ |
@@ Line 37: / Line 37: @@
 | => | ⇒ |
 | \in | ∈ |
-| =| | ⫤ |
+| ''=|'' | ⫤ |
 | ~> | ↝ |
 | \ll | ≪ |
-| -| | ⊣ |
+| ''-|'' | ⊣ |
 | \notin | ∉ |
 | -+-> | ⇸ |
@@ Line 47: / Line 47: @@
 | \propto | ∝ |
 | ?? | ⁇ |
-| |= | ⊨ |
+| ''|='' | ⊨ |
-| |- | ⊢ |
+| ''|-'' | ⊢ |
 | \sim | ∼ |
 | \simeq | ≃ |
@@ Line 65: / Line 65: @@
 | \supseteq | ⊇ |
 | \uplus | ⊎ |
-| || | ‖ |
+| ''||'' | ''‖'' |
 | \wr | ≀ |
-| ^+ | ⁺ |
+| ''^+'' | ⁺ |