> If you’re using DrRacket, you can use the Insert Command Char button at the top of the editing window to — you guessed it — insert the command character.
> If you’re using a different editor, here’s how you type it:
> Mac: Option + Shift + V > Windows: holding down Alt, type 9674 on the num pad > GNU/Linux, BSD: Type Ctrl + Shift + U, then 25CA, then Enter
> For more information on entering arbitrary Unicode glyphs, see Wikipedia.
Jesus Christ that's a terrible design.