oh, twitter told me about https://tex.stackexchange.com/questions/148740/what-is-mathchoice/148774#148774 !

People from Mathstodon: if you want to share your maths with people from other instances, keep in mind that LaTeX rendering is only available on a browser, and for people also on mathstodon.

If you still want to write formulas, mathstodon can be used to export LaTeX to unicode, like \sum to ∑, \prod to ∏, and so on.

Just click on the Tab key and if your equation can be rendered using unicode it will be transformed.

Example: ϕ(x)=∑ₖⁿ xᵏ

It's not perfect, but you can see it on a phone app!

announcement (boosts appreciated)

We're delighted to announce the HoTTEST Summer School, which will take place online everywhere in the world during the months of July and August 2022.

The school will run both synchronously and asynchronously. The lectures will be delivered live (between 2:30-4pm UTC) and paired with various tutorial sessions run by teaching assistants. The course will also feature a discord-based all-hours Q&A and an online archive of all course materials so that participants can follow along on their own schedule.

This school is for everyone and anyone with some familiarity with abstract mathematics or theoretical computer science and an itching to learn about homotopy type theory. Our goal is to make homotopy type theory accessible to, and inclusive of, everyone who is interested, regardless of cultural background, age, ability, formal education, ethnicity, gender identity, or expression. We believe HoTT is for everyone, and are committed to fostering a kind, inclusive environment.

Read more: https://groups.google.com/g/homotopytypetheory/c/Ir2joc7imyI

Join the Discord: https://discord.gg/tkhJ9zCGs9

I appreciate the #introduction posts that people are writing! But I don't like writing my own!! Anyway, I'll try.

I'm a research mathematician, interested in social media for both professional and recreational reasons. If you follow me, you'll see a mix of math and non-math.

Here are four pictures of things I've been involved in. I'll add a little more in a comment below.

A few years ago I made this flow chart of which Mastodon posts end up in which timelines!

So, you can see how each instance will have a different local timeline, and even a slightly different federated timeline - and you can see why the federated timeline moves so much faster than the local one, too.

This is why it's important to boost good posts and use hashtags - the fediverse is fragmented and harder to search by nature.

for those new here, here's a tiny guide to what some of the links in the menu are for — note that they're in increasing order of size!

☞ "Home" shows you the activity of the people you follow

☞ "Local" shows you the activity of everybody on this instance (mathstodon.xyz)

☞ "Federated" shows you the activity of everybody on *any* instance that is open for public viewing

@kensanata Please add me to Mathematics. #Trunk

"mathematician" | currently in stockholm, sweden

Joined Oct 2019