Non-ASCII characters are allowed to local variable names, so they are not always named presym.
Attach a file by drag & drop or click to upload
