Added ⊦, → as synonym for "let" "in" respectively