Proofs in UEB Mathematics

Home Forums Unified English Braille Technical Proofs in UEB Mathematics

Viewing 2 posts - 1 through 2 (of 2 total)
  • Author
    Posts
  • #42896
    ScotlandCETBS
    Spectator

    Please review the attachment and provide your insight on brailling proofs in UEB Technical.

    Thanks!

    Daniel Sullivan

     

    Attachments:
    You must be logged in to view attached files.
    #42919
    kdejute
    Moderator

    Thank you for your question, Daniel.

    In short, yes; when a format is not covered in Rules of UEB, the BANA "Provisional Guidance for Transcribing Mathematics in UEB," or Braille Formats: Principles of Print-to-Braille Transcription, 2016, then we may design a practical solution.

    I see you say in the attachment, "For UEB Technical there is no information to fall back on [for formatting formal proofs,] so the only available resource is the 2022 NEMETH Code book." I would not say "only." However, I agree so far as to say that our North American primary source books for UEB Technical (aka UEB Math/Science) transcriptions do not cover formal proofs explicitly. AND, in such a circumstance, we are free to come up with a clear and sustainable format. And we may take inspiration from The Nemeth Code to do that.

    So, again, yes, you may follow the principles described in §26.7 of The Nemeth Braille Code for Mathematics and Science Notation 2022. As you do so, please remember to:

    1. Use only UEB symbols
    2. Follow any applicable formats from Braille Formats 2016
    3. Explain formatting in a TN wherever necessary

    Braille on!

    –Kyle

Viewing 2 posts - 1 through 2 (of 2 total)

Everyone is free to read the forums, but only current NBA members can post. Become a member today. Click here to Login and return.