Explicit documentation on our symbolic handling of input elements