Skip to content

Replacing \text{ or } with \lor#50

Open
jamesray1 wants to merge 2 commits intoethereum:masterfrom
jamesray1:patch-12
Open

Replacing \text{ or } with \lor#50
jamesray1 wants to merge 2 commits intoethereum:masterfrom
jamesray1:patch-12

Conversation

@jamesray1
Copy link
Contributor

No description provided.

@jamesray1 jamesray1 changed the title Replacing \text{ or } with or Replacing \text{ or } with \lor Nov 24, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant