Can any logicians out there let me know what I need to read to understand an expression like π‘ βŸ¦π΄βŸ§π‘‘ β‰œ 𝐴(βˆ€β€˜π‘£β€™ : π‘ βŸ¦π‘£βŸ§/𝑣,π‘‘βŸ¦π‘£βŸ§/𝑣’)

Lamport assures me β€œAll TLA formulas can be expressed in terms of familiar mathematical operators,” but… like… help?