trivial interpretation for marked symbols (issue #56)