Necesito medir una distancia muy corta (< 5 o 10 mm) de un eje giratorio que eventualmente se moverá hacia un lado unos pocos mm. Yo conectaría esto a un Arduino o similar. ¿Alguien podría recomendar una opción barata y una opción más profesional para el sensor?