Try to fix math in semantics.md