Тильда (~) так же используется для
обозначения геометрического подобия и ещё нескольких вещей. Поэтому чтобы никто не путался я бы выбрал "нормальный" знак (∝). Он даже в мелком шрифте тостера нормально различим от бесконечности, а если записывать б
ольшим шрифтом, то проблем возникнуть вообще не должно.