A lot of them are shorthand for phrases that exist in other programming languages. If you watch the whole video you can see him type things like match to get the ≅ or something like that I don’t know I didn’t follow at all It’s pretty heady shit.