{
	"nodes":[
		{"id":"167f0f0792ba9aa0","x":-300,"y":-500,"width":540,"height":280,"type":"text","text":"What the hell is TLA+?\n\nApparently, it's a formal specification language by Leslie Lamport, who legendarily made $\\LaTeX$. \n\nAlso, apparently it is TLA$^+$. \n"}
	],
	"edges":[]
}