Marsey Alphabet Fan DLC 2: MORE MATH

as per @TwoLargeSnakesMating's request

the eqs are lagrange's theorem, box operator notation for wave eq, and wedge product definition

![](/images/16560310601479208.webp)

![](/images/16560310606237266.webp)

![](/images/16560310838654864.webp)

![](/images/16560310846485026.webp)

![](/images/16560310849451275.webp)

![](/images/16560310854965737.webp)

![](/images/16560311073984072.webp)

![](/images/16560311079913878.webp)

![](/images/16560311083682876.webp)

![](/images/16560311088990154.webp)

![](/images/16560311218584454.webp)

![](/images/16560311224026117.webp)

![](/images/16560311230816221.webp)

![](/images/16560311239377706.webp)

![](/images/16560311528069882.webp)

![](/images/1656031153495321.webp)

![](/images/1656031154025736.webp)

![](/images/1656031154446958.webp)

![](/images/16560311837480445.webp)

![](/images/16560311842646992.webp)

![](/images/16560311850309548.webp)

![](/images/16560311856207252.webp)

![](/images/16560312079821136.webp)

![](/images/16560312084684753.webp)

![](/images/1656031208949514.webp)

![](/images/16560312094469965.webp)

![](/images/16560312359617546.webp)

![](/images/1656031236698147.webp)

![](/images/1656031237746035.webp)

![](/images/16560312384634976.webp)

![](/images/1656031260626289.webp)

![](/images/16560312616687806.webp)

![](/images/16560312624697115.webp)

![](/images/16560312630641234.webp)

![](/images/1656031279158314.webp)

![](/images/16560312798118696.webp)

42
Jump in the discussion.

No email address required.

This is almost perfect. But we need marseyforall, marseyexists, and multiple marseyvariable symbols so that we can do full theorems in Marsey.

Jump in the discussion.

No email address required.

We got:forall::!e: and:partial:

Jump in the discussion.

No email address required.

Ah, I had no idea. Thank u mathchad

Jump in the discussion.

No email address required.

Link copied to clipboard
Action successful!
Error, please refresh the page and try again.