Sætre, M. G. Wittgenstein and Stenlund on Mathematical Symbolism. NWR 2023, 12.