@@ -1148,6 +1148,16 @@ Composition:
11481148 has-unicode-inverse : false
11491149 is-letter-like : false
11501150 operator-name : Composition
1151+ CompoundExpression :
1152+ ascii : " ;"
1153+ has-unicode-inverse : false
1154+ is-letter-like : false
1155+ operator-name : CompoundExpression
1156+ Condition :
1157+ ascii : " /;"
1158+ has-unicode-inverse : false
1159+ is-letter-like : false
1160+ operator-name : Condition
11511161Conditioned :
11521162 has-unicode-inverse : false
11531163 is-letter-like : false
@@ -3460,15 +3470,14 @@ FreakedSmiley:
34603470 is-letter-like : true
34613471 wl-unicode : " \uF721 "
34623472# See also RawAmpersand
3463- # Function:
3464- # ascii: "&"
3465- # has-unicode-inverse: false
3466- # is-letter-like: false
3467- # operator-name: Function
3468- # wl-unicode: "&"
3473+ Function :
3474+ ascii : " &"
3475+ has-unicode-inverse : false
3476+ is-letter-like : false
3477+ operator-name : Function
34693478# Alternative form of Function
34703479# See also RightTeeArrow
3471- Function :
3480+ Function1 :
34723481 ascii : " |->"
34733482 has-unicode-inverse : false
34743483 is-letter-like : false
@@ -4671,6 +4680,11 @@ Mercury:
46714680 unicode-equivalent-name : MERCURY
46724681 wl-unicode : " \u263F "
46734682 wl-unicode-name : MERCURY
4683+ Message :
4684+ ascii : " ::"
4685+ has-unicode-inverse : false
4686+ is-letter-like : false
4687+ operator-name : Message
46744688Mho :
46754689 esc-alias : mho
46764690 has-unicode-inverse : false
@@ -5291,6 +5305,11 @@ OpenCurlyQuote:
52915305 unicode-equivalent-name : LEFT SINGLE QUOTATION MARK
52925306 wl-unicode : " \u2018 "
52935307 wl-unicode-name : LEFT SINGLE QUOTATION MARK
5308+ Option :
5309+ ascii : " :"
5310+ has-unicode-inverse : false
5311+ is-letter-like : false
5312+ operator-name : Option
52945313OptionKey :
52955314 esc-alias : opt
52965315 has-unicode-inverse : false
@@ -6672,6 +6691,11 @@ SpadeSuit:
66726691 unicode-equivalent-name : BLACK SPADE SUIT
66736692 wl-unicode : " \u2660 "
66746693 wl-unicode-name : BLACK SPADE SUIT
6694+ Span :
6695+ ascii : " ;;"
6696+ has-unicode-inverse : false
6697+ is-letter-like : false
6698+ operator-name : Span
66756699SpanFromAbove :
66766700 esc-alias : sfa
66776701 has-unicode-inverse : false
@@ -7099,9 +7123,11 @@ UnderParenthesis:
70997123 wl-unicode : " \uFE36 "
71007124 wl-unicode-name : PRESENTATION FORM FOR VERTICAL RIGHT PARENTHESIS
71017125UndirectedEdge :
7126+ ascii : " <->"
71027127 esc-alias : ue
71037128 has-unicode-inverse : true
71047129 is-letter-like : false
7130+ operator-name : UndirectedEdge
71057131 unicode-equivalent : " \u2194 "
71067132 unicode-equivalent-name : LEFT RIGHT ARROW
71077133 wl-unicode : " \uF3D4 "
0 commit comments