as per @TwoLargeSnakesMating's request
the eqs are lagrange's theorem, box operator notation for wave eq, and wedge product definition
as per @TwoLargeSnakesMating's request
the eqs are lagrange's theorem, box operator notation for wave eq, and wedge product definition
Jump in the discussion.
No email address required.
OMG, I love them
You even did sequent calculus symbols and set operators
Will get these added in the next couple hours! We can do real Marsey math now!
Jump in the discussion.
No email address required.
Next we need Hebrew Marseys and some sort of way to right-justify
Jump in the discussion.
No email address required.
More options
Context
aw thank you danke liebste for the badge too! we're one step closer to everything being expressible in marsey!
Jump in the discussion.
No email address required.
More options
Context
Of all the things to care about, why the symbol for normal subgroup?
Can we do short exact sequences of Marseys?
Jump in the discussion.
No email address required.
He did of his own volition—I mostly just asked for the common symbols, physics (esp. vector space operators for quantum), discrete mathematics, and proof logic ones.
Anyway, how's this for a diagram of your short exact sequence?
Jump in the discussion.
No email address required.
Ye ye. Was nauseous trying to mobile parse. Ty bb
Jump in the discussion.
No email address required.
More options
Context
More options
Context
More options
Context
Jump in the discussion.
No email address required.
More options
Context
More options
Context