Stream: math-comp users

Topic: ✔ stuck at finding good relation between \in and \notin

view this post on Zulip walker (Oct 26 2022 at 15:13):

negP was the thing i was struggling to find, thanks!

view this post on Zulip Notification Bot (Oct 26 2022 at 15:13):

walker has marked this topic as resolved.

Last updated: Feb 02 2023 at 15:04 UTC