I am writing a small procedure to help out some friends in a Diff EQ class and I want to print out little notes (their prof is letting them use maple on the test).  In other languages if I wanted to print something plaintext I could usually enclose them in quotation or tickmarks, or I would precede them by a backslash.

I am trying to say "implies F is equal to [crazy long function]" and I would like to use that cool little implies sign that maple has but whenever I do that I get a weird error message