Finally figured out how to format operational semantics rules...