# Hieroglyphs

haveahappyday

What are the most outlandish notations you have ever encountered Veeky Forums?
take your Standard Model Lagrangian outta here

New_Cliche

https://en.wikipedia.org/wiki/Bra-ket_notation

BunnyJinx

http://www.streamsound.dk/book1/chaos/Chaos/assets/basic-html/index.html#1

massdebater

@BunnyJinx
If you don't understand this you might be retarded

hairygrape

Mechanical Notation, Charle's Babbage's crazy way of drawing machines. We still don't understand it.

http://www.i-programmer.info/news/82-heritage/8506-plan-28-makes-progress-in-understanding-babbages-mechanical-notation-.html

Methnerd

@haveahappyday

Flameblow
RavySnake

@haveahappyday
inb4 Shinichi Mochizuki

BlogWobbles

@haveahappyday
lol I wanna see the latex script for that, son

DeathDog

@haveahappyday
Yours is ridiculous

girlDog

I only have 1 big diagram in my thesis

CodeBuns

@hairygrape
I looks like a pre-computer form of VPL

Nude_Bikergirl

@CodeBuns
to this day we don't have verilog for mechanical systems, cause gears and shit actually have to go places.

takes2long

@hairygrape
Looks like a wiring diagram or function block code, cool.

SomethingNew

@takes2long
Penrose Tensor Notation

Raving_Cute

@DeathDog
What exactly is it, user?

Soft_member

Gentzen's way of writing proofs

@DeathDog
This is actually just a (big) commutative diagram, like when you write $A \overset{f}{\longrightarrow} B$ to say f is a map from A to B.

@Soft_member
Actually Frege, not Gentzen

TurtleCat

Another use of that notation in some John Baez book about higher dimensional algebra

Harmless_Venom

@TurtleCat
Ehat the heck is that

FastChef

wagon wheels

girlDog

@TurtleCat
what the actual fuck

Snarelure
AwesomeTucker

@massdebater
OP said outlandish, not difficult.

Booteefool

@haveahappyday
those sums look like they're about to murder their entire clan

Poker_Star

Stark_Naked

aaaaaaaaaa

Gigastrength

@haveahappyday
$i^{2}$
No idea what it means.

Burnblaze

@TurtleCat
there are brainlets ITT right now that don't understand graphical calculus
Are you serious?

DeathDog

@Burnblaze
is that like where you look for the max or min

haveahappyday

not necessarily notation but it looks cool

Soft_member

@TurtleCat
tfw your branch of mathematics is closer to transplantational surgery than to calculus

likme

hairer.org/notes/Regularity.pdf

Poker_Star

I'm a mathematician but I bow before the might and complexity of biochemical pathways.

Gigastrength

Diagrammatic algebra. Diagrammatic algebra everywhere.

Need_TLC

@TurtleCat
i just find it incredible that string diagrams and graphical calculus exist, much less actually work and be useful for stuff like QFT
what is the name of that theorem that guarantees the existence of these diagrams
this is some black magic shit

Evil_kitten

If someone knows this, please tell me. I found a pdf about it in 2013 but at the time couldn't understand it, and I cant find anything about it now.

Bidwell

@TurtleCat

haveahappyday

@Evil_kitten
These 6j symbols are what's more generally referred to as fusion matrices for a conformal field theory. Let $(\mathscr{V},\{V_i\}_i)$ be a simple modular category with simple objects $V_i$ and some fixed set of fusion rules, then there exists a covariant functor $F:\text{Rib}_\mathscr{V} \rightarrow \mathscr{V}$ from the ribbon category based on $\mathscr{V}$ to $\mathscr{V}$ called the operator invariant. This functor allows you to cast fusion rules in the form of ribbon graphs as well as express some results regarding the dimensions and traces of objects in $\mathscr{V}$ as knot invariants. This allows you to prove fusion relations such as the pentagon/hexagon relations, Verlinde-Seiberg formula and Vafa's theorem with braids and knots. In addition if $\mathscr{V}$ is unitary metaplectic then these fusion matrices form a $\mathbb{C}$-vector space called the space of conformal blocks. In this case the 6j-symbols are basically instructions for fusing the simple objects of $\mathscr{V}$ as Hilbert spaces and you can consider it as relations between knots or ribbon graphs WLOG. For instance, the fusion matrix $F_{pq}\left[\begin{bmatrix} i & j \\ k & l\end{bmatrix}\right]$ can be considered as a consistency condition between fusing objects $i,j,k$ by fusing $i,j$ first into $p$ and then fusing $p,k$ into $l$ or first fusing $j,k$ into $q$ then fusing $i,q$ into $l$.

iluvmen

@Poker_Star
i want this in not shit res

Fried_Sushi

@TurtleCat
tfw trancended formal proofs and now pictures are the new numbers

massdebater
WebTool

@TurtleCat
This is almost like proof via interpretive dancing.

ZeroReborn

@New_Cliche
I've seen it so many times but I still don't know how it works.

eGremlin

@TurtleCat
Nice.

Nude_Bikergirl
farquit

@TurtleCat
you could also just flip the head over right

BinaryMan

@haveahappyday
why are there so many theoretical physics touhouposters on Veeky Forums