-(* to get an arithmetic function, type, e.g., "(+)".
- to get times instead of comment, type "( * )". *)
+(* To use infix operators in ordinary prefix position, use (+).
+ Multiplication has to be handled a bit specially, because of how OCaml parses
+ its comment indicators. To use it in prefix position, make sure there is
+ space between it and the parentheses, like this: ( * ).
+*)