[Athen] Any MathType gurus out there?

[Statham III, Otis via athen-list]

The turnstile symbol in Logic is tilted like a counter clock capital T. Not sure if you can add a special symbol but it’s Unicode is ⊢. I realize you
Have probably already tried that. I don’t do a lot of that type of work but if you cannot add a special symbol it would appear that you will be
Entering that symbol a lot. Sorry I couldn’t help you. ☹
Otis

From: athen-list <athen-list-bounces at mailman12.u.washington.edu> On Behalf Of Joshua Hori via athen-list
Sent: Wednesday, April 10, 2024 1:27 PM
To: Susan Kelmer <Susan.Kelmer at colorado.edu>; Access Technology Higher Education Network <athen-list at u.washington.edu>
Subject: Re: [Athen] Any MathType gurus out there?

Wow, the symbol was removed from the email during sending.

[cid:image004.png at 01DA8B4B.CBDEDF40]

From: Joshua Hori <jhori at ucdavis.edu<mailto:jhori at ucdavis.edu>>
Date: Wednesday, April 10, 2024 at 10:25 AM
To: Susan Kelmer <Susan.Kelmer at colorado.edu<mailto:Susan.Kelmer at colorado.edu>>, Access Technology Higher Education Network <athen-list at u.washington.edu<mailto:athen-list at u.washington.edu>>
Subject: Re: Any MathType gurus out there?
Hello Susan,

Mathpix identified it for me. You get 20 free conversions if you sign up.

That’s a /vdash in LaTeX. Here’s the symbol for you, copied and pasted from Word:

[cid:image005.png at 01DA8B4B.CBDEDF40]
Best,

Joshua Hori
Accessible Technology Coordinator
Information Educational Technology
Academic Technology Services
50 Hutchison Dr.
Davis, CA 95616
530-752-2439
Schedule a meeting via Calendly<https://calendly.com/d/ytt-hsj-vbn>


From: athen-list <athen-list-bounces at mailman12.u.washington.edu<mailto:athen-list-bounces at mailman12.u.washington.edu>> on behalf of Susan Kelmer via athen-list <athen-list at u.washington.edu<mailto:athen-list at u.washington.edu>>
Date: Wednesday, April 10, 2024 at 9:12 AM
To: 'Access Technology Higher Education Network' <athen-list at u.washington.edu<mailto:athen-list at u.washington.edu>>
Subject: [Athen] Any MathType gurus out there?
I’m struggling to find a symbol.  Have done all the appropriate searching, and no luck.  I am working on a computer science/algorithms book.  The symbol is the right tack, and it shows up a LOT and I need to find out how to place it in mathtype.  It looks like this:

[cid:image006.png at 01DA8B4B.CBDEDF40]
Any guidance on this thing is appreciated!  I can copy it in EquatIO and insert it, but it’s not always reading right in the screen reader.

Susan Kelmer
Alternate Format Production Program Manager
Disability Services
Health and Wellness Services
T 303 735 4836
www.colorado.edu/disabilityservices<http://www.colorado.edu/disabilityservices>


[cid:image007.png at 01DA8B4B.CBDEDF40]

Due to the nature of electronic communication, the security of this message cannot be guaranteed. If you’ve received this email in error please notify the sender immediately and delete this message.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman12.u.washington.edu/pipermail/athen-list/attachments/20240410/69edec5b/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image004.png
Type: image/png
Size: 198 bytes
Desc: image004.png
URL: <http://mailman12.u.washington.edu/pipermail/athen-list/attachments/20240410/69edec5b/attachment.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image005.png
Type: image/png
Size: 362 bytes
Desc: image005.png
URL: <http://mailman12.u.washington.edu/pipermail/athen-list/attachments/20240410/69edec5b/attachment-0001.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image006.png
Type: image/png
Size: 1909 bytes
Desc: image006.png
URL: <http://mailman12.u.washington.edu/pipermail/athen-list/attachments/20240410/69edec5b/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image007.png
Type: image/png
Size: 8916 bytes
Desc: image007.png
URL: <http://mailman12.u.washington.edu/pipermail/athen-list/attachments/20240410/69edec5b/attachment-0003.png>