[nabs-l] [nabs-l) Mathamatics, symbols, and braille Oh my! (question)

[Michael D Ausbun]

Hello All:
	My name is Michael Ausbun. I am an honors sophomore at the University of Nevada, Reno currently pursuing and bachelor’s degree in Philosophy and Anthropology (my goals include a doctorate degree directly after). My question goes out to any Mathematicians, computer scientists or, if I am lucky, Philosophy students.
	Apart of any ‘good’ Philosophy program, is a course called Symbolic Logic. Symbolic logic is inherently visual, in the sense that it utilizes nontraditional symbols to represent propositions in different type of proof-forms. Due to the nature of the course, my University is attempting to find or create some sort of Braille-code, which is universally used by logicians.
	My question, then, is there a currently existent braille-code for symbolic logic? If so, what is it called and can duxberry use it? If not, has anyone encountered a situation like this? If so, what methods did you utilize to over-come this problem.
	Thank you all for your attention and future assistance in this matter.
Respectfully,
Michael Ausbun

Michael Ausbun
Student Assistive Technology Specialist
University of Nevada, Reno
Secretary of the Nevada NABS Chapter