(📚) What do all the symbols mean in the output of `reveal_type`

Documentation

reveal_type("shaking")  # Literal["shaking"]?

reveal_type(int("1"))  # builtins.int*

from typing import TypeVar
T = TypeVar("T")
def foo(t: T) -> T:
    reveal_type(t)  # T`-1

What do all these wacky symbols mean *, ? and

`-1

I'm guessing there might be others as well.

I looked through the docs and couldn't find anything about it.

Also <: and :>, maybe also def(int) -> str and def().

Beginne mit den reveal_type-Beispielen im Issue und prüfe die bestehende mypy-Dokumentation auf die Ausgabe zur Typanzeige. Bestimme die Bedeutung der gezeigten Symbole und identifiziere weitere Symbole, die abgedeckt werden sollten. Als erledigt gilt die Aufgabe, wenn die Dokumentation die Notation erklärt, einschließlich *, ?, -1, <: und :>.