A new latex command for putting the RHS of a rewrite on 4 rows.
#KJ-138 Integrate documentation into K sources. Done.