Question 701128
type sqrt(x) to mean {{{sqrt(x)}}} for example