In my effort to get org mode just how I want it, I wanted to have some sort of way to distinguish "code," or just a single code-like word (symbol, command, etc.) inside a .org file. If I type the usual such as \beta or \lceiling, the system immediately snaps to the actual system. But \ulcorner and the other "corner" symbols don't work. I tried to have different highlighting inside the buffer, but apparently font locking hates to be overridden. Any idea why just corner doesn't work? I would accept a simple stackoverflow solution, i.e., background gray and/or mono font.
LB