**ℍᵃⁿⁿᵃʰ 🍀** @ZevenKorian@mathstodon.xyz · Jan 20, 2021, 14:30

**ℍᵃⁿⁿᵃʰ 🍀** @ZevenKorian@mathstodon.xyz · Jan 20, 2021, 14:30

ℍᵃⁿⁿᵃʰ 🍀 @ZevenKorian@mathstodon.xyz

thank god we have digital PDFs nowadays because imagine guessing what \(\upharpoonright\) is

**ℍᵃⁿⁿᵃʰ 🍀** @ZevenKorian@mathstodon.xyz · Jan 20, 2021, 14:30

**ℍᵃⁿⁿᵃʰ 🍀** @ZevenKorian@mathstodon.xyz · Jan 20, 2021, 14:30

ℍᵃⁿⁿᵃʰ 🍀 @ZevenKorian@mathstodon.xyz

easy enough when inline but try subscript: \(_\upharpoonright\)

**ℍᵃⁿⁿᵃʰ 🍀** @ZevenKorian@mathstodon.xyz · 2021-01-20T14:53:23Z

ℍᵃⁿⁿᵃʰ 🍀 @ZevenKorian@mathstodon.xyz

also thanks detexify

Jan 20, 2021, 14:53 · · Web · · ·