Fix a mistake in the O(3, 1) derivation
Simplify the latex code