Example of a programmable problem using the new symbol and interpreter.
HTML preview not available, since no preview renderer could handle it. Try downloading the file instead.