Zulip Chat Archive
Stream: general
Topic: preimage
Patrick Massot (Jan 25 2019 at 22:02):
Why don't we use infix ` ⁻' `:80 := preimage?
Patrick Massot (Jan 25 2019 at 22:16):
Actually I may use notation f`⁻¹(`A`)` := f ⁻¹' A with my students
Mario Carneiro (Jan 25 2019 at 22:43):
it's a combination of ⁻¹ and the image operator ''
Mario Carneiro (Jan 25 2019 at 22:43):
⁻' is usable but possibly a bit obfuscatory
Last updated: Aug 03 2023 at 10:10 UTC