Can someone help me? Where can i find these symbols?
CodePudding user response：
Those are just abbreviations for <= and &&. To get less or equal to in Ascii this is the code: ALT-243 = ≤
CodePudding user response：
They are ligatures in a font called Fira Code. The arrow is made up from =>, and the less-than sign from <=.