Comments

Comments begin with a double slash followed by a space and end with an end-line character, for example

// this is a first comment

dimension { // this is a comment

$\qquad\dots$

}