Действительно стоит того, чтобы изобретать новый символ, если мы сможем, таким образом, удалить не несколько логических трудностей и обеспечить строгость доказательств. Но многие математики, кажется, имеют настолько мало чувства к логической чистоте и точности, что они будут использовать слово, чтобы означать три или четыре разных вещах, раньше, чем страшное решение изобретать новое слово.