7575# https://github.com/rsmenon/pygments-mathematica
7676# https://reference.wolfram.com/language/tutorial/OperatorInputForms.html
7777
78- # unicode-reference: https://www.compart.com/en/unicode/U+00E1
7978AAcute :
8079 amslatex : " \\ '{a}"
8180 esc-alias : a'
@@ -6138,6 +6137,7 @@ LeftArrowRightArrow:
61386137 wl-unicode : " \u21C6 "
61396138 wl-unicode-name : LEFTWARDS ARROW OVER RIGHTWARDS ARROW
61406139
6140+ # Left part of "Association[]" operator
61416141LeftAssociation :
61426142 esc-alias : <|
61436143 has-unicode-inverse : false
@@ -6155,6 +6155,7 @@ LeftBracketingBar:
61556155 wl-reference : https://reference.wolfram.com/language/ref/character/LeftBracketingBar.html
61566156 wl-unicode : " \uF603 "
61576157
6158+ # Left part of "Ceiling[]" operator
61586159LeftCeiling :
61596160 esc-alias : lc
61606161 has-unicode-inverse : false
@@ -8340,6 +8341,7 @@ RightAngleBracket:
83408341 wl-unicode : " \u232A "
83418342 wl-unicode-name : RIGHT-POINTING ANGLE BRACKET
83428343
8344+ # Note: not the same as \[Rule]
83438345RightArrow :
83448346 amslatex : " \\ rightarrow"
83458347 esc-alias : ' ->'
@@ -8376,6 +8378,7 @@ RightArrowLeftArrow:
83768378 wl-unicode : " \u21C4 "
83778379 wl-unicode-name : RIGHTWARDS ARROW OVER LEFTWARDS ARROW
83788380
8381+ # Right part of "Association[]" operator
83798382RightAssociation :
83808383 esc-alias : ' |>'
83818384 has-unicode-inverse : false
@@ -8384,6 +8387,8 @@ RightAssociation:
83848387 wl-reference : https://reference.wolfram.com/language/ref/character/RightAssociation.html
83858388 wl-unicode : " \uF114 "
83868389
8390+ # Note: not the same as \[VerticalBar]
8391+ # Used in BracketingBar
83878392RightBracketingBar :
83888393 esc-alias : r|
83898394 has-unicode-inverse : false
@@ -8393,6 +8398,7 @@ RightBracketingBar:
83938398 wl-reference : https://reference.wolfram.com/language/ref/character/RightBracketingBar.html
83948399 wl-unicode : " \uF604 "
83958400
8401+ # Right part of "Ceiling[]" operator
83968402RightCeiling :
83978403 esc-alias : rc
83988404 has-unicode-inverse : false
@@ -8655,6 +8661,7 @@ RightVectorBar:
86558661 wl-unicode : " \u2953 "
86568662 wl-unicode-name : RIGHTWARDS HARPOON WITH BARB UP TO BAR
86578663
8664+ # Note: not the same as \[Superset]
86588665RoundImplies :
86598666 has-unicode-inverse : false
86608667 is-letter-like : false
@@ -8672,6 +8679,7 @@ RoundSpaceIndicator:
86728679 wl-reference : https://reference.wolfram.com/language/ref/character/RoundSpaceIndicator.html
86738680 wl-unicode : " \uF3B2 "
86748681
8682+ # Note: not the same as \[RightArrow]
86758683Rule :
86768684 ascii : " ->"
86778685 esc-alias : " ->"
0 commit comments