A non-literal LaTeX spaces syntax