I realised the other day that I’d I bought 1.0mm Tikky pencils and 0.7mm leads. Are there actually different mechanical pencils for each size lead? Also, is it common practice to use 0.7 lead in a 1.0 pencil? It seems to work fine for me with no noticeable play
