idolf: Tilføj Γ⊢1337↓1337 som alias til kristoff3r