Better colon operators.

Author: leftaroundabout

EXAMPLES.md

@@ -46,7 +46,7 @@ _This file was generated automatically from [MkSnippets.hs](test/PdfSnippets/MkS
 | `ψ◞"Foo" ` | `\psi{}_{\mathrm{Foo}}` | ![pdflatex-rendered version of `\psi{}_{\mathrm{Foo}}`](test/PdfSnippets/ᓭpsiⶈⶉ⣀ⶈᓭmathrmⶈFooⶉⶉ.png) |
 | `ψ◞𝐹‸𝑜‸𝑜 ` | `\psi{}_{Foo}` | ![pdflatex-rendered version of `\psi{}_{Foo}`](test/PdfSnippets/ᓭpsiⶈⶉ⣀ⶈFooⶉ.png) |
 | `𝑓◝(3☽"")☾𝑥 ` | `f^{\left(3\right)}\left(x\right)` | ![pdflatex-rendered version of `f^{\left(3\right)}\left(x\right)`](test/PdfSnippets/fᐞⶈᓭleftᑕ3ᓭrightᑐⶉᓭleftᑕxᓭrightᑐ.png) |
-### Function application
+### Function application and definition
 | Haskell | LaTeX | pdf |
 | ---: | --- | :--- |
 | `𝑓☾𝑥 ` | `f\left(x\right)` | ![pdflatex-rendered version of `f\left(x\right)`](test/PdfSnippets/fᓭleftᑕxᓭrightᑐ.png) |
@@ -56,6 +56,8 @@ _This file was generated automatically from [MkSnippets.hs](test/PdfSnippets/MkS
 | `(𝑓∘𝑔)☽𝑥 ` | `\left(f\circ{}g\right)x` | ![pdflatex-rendered version of `\left(f\circ{}g\right)x`](test/PdfSnippets/ᓭleftᑕfᓭcircⶈⶉgᓭrightᑐx.png) |
 | `(𝑓∘𝑔)☽(𝑥*𝑦) ` | `\left(f\circ{}g\right)\left(x{\cdot}y\right)` | ![pdflatex-rendered version of `\left(f\circ{}g\right)\left(x{\cdot}y\right)`](test/PdfSnippets/ᓭleftᑕfᓭcircⶈⶉgᓭrightᑐᓭleftᑕxⶈᓭcdotⶉyᓭrightᑐ.png) |
 | `𝑓∘𝑔☾𝑥 ` | `f\circ{}g\left(x\right)` | ![pdflatex-rendered version of `f\circ{}g\left(x\right)`](test/PdfSnippets/fᓭcircⶈⶉgᓭleftᑕxᓭrightᑐ.png) |
+| `𝑓 ÷ (ℤ-→ℝ) ` | `f:\mathbb{Z}\to{}\mathbb{R}` | ![pdflatex-rendered version of `f:\mathbb{Z}\to{}\mathbb{R}`](test/PdfSnippets/f⦂ᓭmathbbⶈZⶉᓭtoⶈⶉᓭmathbbⶈRⶉ.png) |
+| `𝑓☾𝑥 ÷= 𝑥+π ` | `f\left(x\right){:=}x+\pi{}` | ![pdflatex-rendered version of `f\left(x\right){:=}x+\pi{}`](test/PdfSnippets/fᓭleftᑕxᓭrightᑐⶈ⦂〧ⶉx⼦ᓭpiⶈⶉ.png) |
 ### Logical
 | Haskell | LaTeX | pdf |
 | ---: | --- | :--- |

Math/LaTeX/Internal/MathExpr.hs

@@ -135,8 +135,10 @@ infixl 2 -\-, ⧵, ∖
 (∖) = opL' 2 LaTeX.setminus
 
 infixr 5 ⸪, -→, ←-, ↪
-(⸪), (-→), (←-), (↪) :: MathsInfix
+(÷), (⸪), (-→), (←-), (↪) :: MathsInfix
+{-# DEPRECATED (⸪) "Use (÷), i.e. U+00F7 DIVISION SIGN" #-}
 (⸪) = opR 5 ":"
+(÷) = opR 5 ":"
 (-→) = opR 5 LaTeX.to
 (←-) = opR 5 LaTeX.leftarrow
 (↪) = opR 5 $ LaTeX.comm0"hookrightarrow"
@@ -211,6 +213,8 @@ makeOperatorCaste "relationOperators"
                   , ("⸪=", [e|raw"{:=}"|])
                   , ("=⸪", [e|raw"{=:}"|])
 #endif
+                  , ("÷=", [e|raw"{:=}"|])
+                  , ("=÷", [e|raw"{=:}"|])
                   , ("≡", [e|LaTeX.comm0"equiv"|])
                   , ("⩵!", [e|raw" \\overset{!}{=} "|])
                   , ("≠", [e|""LaTeX./=:""|])

Math/LaTeX/Prelude.hs

@@ -31,12 +31,13 @@ module Math.LaTeX.Prelude (
 #if __GLASGOW_HASKELL__ > 801
    , (،..،), (،), (⸪=), (=⸪)
 #endif
+   , (÷=), (=÷)
    , (␣), (+..+), (*..*), (×), (∗), (⋆), (<،>), (<⍪>)
    , (⊗), (∘), factorial
    , (◝), (◝⁀), (◞), (◞◝), (|◞), (|◝), (|◞◝)
    , (⩵), (≡), (⩵!), (≠), (⪡), (⪢), (≤), (≥), (≪), (≫), (∝), (⟂), (∥), (₌₌), (╰─┬─╯)
    , (=→), (←=), (≈), (∼), (≃), (≅)
-   , (⊂), (/⊂), (⊆), (⊃), (⊇), (∋), (∌), (∈), (∉), (∩), (∪), (⊎), (∖), (-\-), (⧵), (⸪), (⊕)
+   , (⊂), (/⊂), (⊆), (⊃), (⊇), (∋), (∌), (∈), (∉), (∩), (∪), (⊎), (∖), (-\-), (⧵), (÷), (⸪), (⊕)
    , (∀:), (∃:), (∄:)
    , (-→), (←-), (↦), (↪), (==>), (<==), (<=>), (∧), (∨)
    , (∫), (◞∫), (◞∮), d, (∑), (◞∑), (∏), (◞∏)

test/PdfSnippets/MkSnippets.hs

@@ -154,7 +154,7 @@ tests_U = testGroup "Tests"
         , [mkLaTeXSnip|     ψ◞𝐹‸𝑜‸𝑜 |] "\\psi{}_{Foo}"
         , [mkLaTeXSnip|  𝑓◝(3☽"")☾𝑥 |] "f^{\\left(3\\right)}\\left(x\\right)"
         ]
-     , testGroup "Function application"
+     , testGroup "Function application and definition"
         [ [mkLaTeXSnip|         𝑓☾𝑥 |] "f\\left(x\\right)"
         , [mkLaTeXSnip|     𝑓☾(𝑔☾𝑥) |] "f\\left(g\\left(x\\right)\\right)"
 #if __GLASGOW_HASKELL__ > 801
@@ -166,6 +166,8 @@ tests_U = testGroup "Tests"
         , [mkLaTeXSnip| (𝑓∘𝑔)☽(𝑥*𝑦) |]
                  "\\left(f\\circ{}g\\right)\\left(x{\\cdot}y\\right)"
         , [mkLaTeXSnip|       𝑓∘𝑔☾𝑥 |] "f\\circ{}g\\left(x\\right)"
+        , [mkLaTeXSnip| 𝑓 ÷ (ℤ-→ℝ) |] "f:\\mathbb{Z}\\to{}\\mathbb{R}"
+        , [mkLaTeXSnip| 𝑓☾𝑥 ÷= 𝑥+π |] "f\\left(x\\right){:=}x+\\pi{}"
         ]
      , testGroup "Logical"
         [ [mkLaTeXSnip| 𝑝 ∨ 𝑞 |] "p\\vee{}q"
@@ -327,6 +329,7 @@ encode = concatMap enc
        enc '>' = "ᐳ"
        enc ',' = "،"
        enc '.' = "៰"
+       enc ':' = "⦂"
        enc ' ' = "ᐧ"
        enc c = error $ "Unencodable character '"++[c]++"'"