Hi all. I'm a complete beginner coder and I'm trying to make a program that will allow users to do simple proofs in deductive logic. The idea is that the users enter in a statement and the statement they enter is printed as a line in their proof.
Often, however, the statements users will need to enter will include non-ascii symbols (like an arrow sign or a turnstile). Is there any way I can have my program allow users to enter these symbols by assigning key bindings to them? Something like 1 = the turnstile symbol, 2 = the arrow symbol, etc. So if the user presses the "1" key on their keyboard when prompted by raw_input() what will appear on their screen is not "1" but the turnstile symbol.
Anyone know how I might go about doing this? Or can anyone point me in the right direction to find out for myself? I'm finding it difficult to Google for help because I don't know the right language to use in describing what I'm trying to do.