SystemVerilog operators ^~ ~^ ~& ~| ==? !=? [= [* [-> {<< {>> #=# #-# *> :/

[drom]

I use FiraCode with SystemVerilog language and it has two operators that would look lovely as Glyphs:

• |=> nonoverlapped implication
• |-> overlapped implication

There are some other (less popular) SystemVerilog operators, with possibility being a Glyph:

• ^~ , ~^ Binary or reduction XNOR operators
• ~& reduction NAND
• ~| reduction NOR
• ==?,!=? Binary wildcard equality operators
• [= nonconsecutive repetition
• [* consecutive repetition
• [-> goto repetition
• {<< right-to-left streaming
• {>> left-to-right streaming
• #=# nonoverlapped followed-by
• #-# overlapped followed-by
• *> full path connection
• :/ distribution weight assignment

[tonsky]

WOW. Thanks I’ll look which I can do

[strangemonad]

+1 for |-> in many math contexts that's meant to express a element-wise mapping (vs set or type mapping)

e.g.
𝑓:𝑅→𝑅
𝑥↦𝑥^2

https://math.stackexchange.com/a/2711393

[dpwiz]

Btw, *> is common in Haskell too and is symmetric (<*).

[tonsky]

*> and <* are already in the font