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:
- Use only UEB symbols
- Follow any applicable formats from Braille Formats 2016
- Explain formatting in a TN wherever necessary
Braille on!
–Kyle