Skip to content

logic AND / OR, common number sets, arrows, function notation#25

Merged
mattdesl merged 13 commits into
masterfrom
feature/material-implication
Jul 4, 2015
Merged

logic AND / OR, common number sets, arrows, function notation#25
mattdesl merged 13 commits into
masterfrom
feature/material-implication

Conversation

@mattdesl

@mattdesl mattdesl commented Jul 3, 2015

Copy link
Copy Markdown
Contributor

new features:

  • common number sets R, Z, N, etc
  • more details on writing and reading function notation
  • material implication arrows
  • common functions like sgn
  • equality arrows and strict equality
  • logic AND / OR arrows

fixes:

  • starting to cite papers when symbol usage is ambiguous / unclear / not completely standardized
  • use small dot for dot product
  • some more wording changes throughout

mattdesl added a commit that referenced this pull request Jul 4, 2015
logic AND / OR, common number sets, arrows, function notation
@mattdesl mattdesl merged commit 65bc205 into master Jul 4, 2015
@mattdesl mattdesl deleted the feature/material-implication branch July 4, 2015 15:49
EsrefDurna pushed a commit to EsrefDurna/math-as-code that referenced this pull request Nov 12, 2025
…lication

logic AND / OR, common number sets, arrows, function notation
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant