File tree Expand file tree Collapse file tree 2 files changed +9
-6
lines changed
Expand file tree Collapse file tree 2 files changed +9
-6
lines changed Original file line number Diff line number Diff line change @@ -1122,6 +1122,11 @@ CommandKey:
11221122 unicode-equivalent : " \u2318 "
11231123 unicode-equivalent-name : PLACE OF INTEREST SIGN
11241124 wl-unicode : " \uF76A "
1125+ Composition :
1126+ ascii : " @*"
1127+ has-unicode-inverse : false
1128+ is-letter-like : false
1129+ operator-name : Composition
11251130Conditioned :
11261131 has-unicode-inverse : false
11271132 is-letter-like : false
@@ -4258,11 +4263,6 @@ LeftCeiling:
42584263 unicode-equivalent-name : LEFT CEILING
42594264 wl-unicode : " \u2308 "
42604265 wl-unicode-name : LEFT CEILING
4261- LeftComposition :
4262- ascii : " /*"
4263- has-unicode-inverse : false
4264- is-letter-like : false
4265- operator-name : LeftComposition
42664266LeftDoubleBracket :
42674267 esc-alias : ' [['
42684268 has-unicode-inverse : false
@@ -5800,7 +5800,7 @@ RightCeiling:
58005800 wl-unicode : " \u2309 "
58015801 wl-unicode-name : RIGHT CEILING
58025802RightComposition :
5803- ascii : " @ *"
5803+ ascii : " / *"
58045804 has-unicode-inverse : false
58055805 is-letter-like : false
58065806 operator-name : RightComposition
@@ -7155,6 +7155,7 @@ VerticalBar:
71557155 esc-alias : ' |'
71567156 has-unicode-inverse : true
71577157 is-letter-like : false
7158+ operator-name : Alternatives
71587159 unicode-equivalent : " \u007C "
71597160 unicode-equivalent-name : VERTICAL LINE
71607161 wl-unicode : " \uF3D0 "
Original file line number Diff line number Diff line change 115115 ("UndirectedEdge" , r" (\<\-\>)|\u29DF|\u2194 " ),
116116 ("ReplaceRepeated" , r" \/\/\. " ),
117117 ("ReplaceAll" , r" \/\. " ),
118+ ("RightComposition" , r" \/\* " ),
118119 ("Postfix" , r" \/\/ " ),
119120 ("UpSetDelayed" , r" \^\:\= " ),
120121 ("SetDelayed" , r" \:\= " ),
218219 "DivideBy" ,
219220 "ReplaceRepeated" ,
220221 "ReplaceAll" ,
222+ "RightComposition" ,
221223 "Postfix" ,
222224 "TagSet" ,
223225 "Condition" ,
You can’t perform that action at this time.
0 commit comments