it's present in the 2023 game theory/Mr. tomatoeS fangame called TheoristS, I'm just wondering if it has a name and/or is used from something else.
