🔣 Extension symbol

=== the symbol that’s being assigned in an 👥 Extensional procedure==