I'm wondering whether there is a standard, canonical way to typeset programs in Dijkstra's GCL (EWD 472). In particular, I'm interested in a command producing a symbol for the box []
in
Ideally, the box should be also visible as some meaningful Unicode symbol (or symbols) in the text layer of the resulting PDF file, rather than the usual gibberish you get from NFSS symbols.
Currently, I simply draw the box with \fbox
around appropriate white \rule
s, which is kinda extremely ad hoc. Detexify gives zero usable results, and shapecatcher gives way too many equally-looking white rectangular boxes, none of which has a description anywhere near Dijkstra's symbol.
\vrectangle
from Table 381:stix
Geometric Shapes – dexteritas Jun 11 '18 at 15:04