outline of typographical formal systems code
outline of typographical formal systems code