Hola, creo que hablamos el domingo, EMARU en su comentario del 04/04 nos habla del producto PIERRA VERTE o PIEDRA VERDE.
En internet lo que te dice es que no se debe marcar con lápiz el gres y para quitarlo habla de disolventes tipo acetona, aguarras,...
Hay que un link de un fabricante de gres que habla de producto TODONATO DISOLV para marcas de lápiz
http://www.construnario.com/diccionario/swf/27727/GuíasInformativas/GuíadeLimpiezaymantenimientodelporcelánicoTodanato.pdf
He intentado buscar la composición pero no la he encontrado pero está claro que como único se va a quitar es con un disolvente.
Voy a probar con acetona y si no iré a Leroy Merlin a buscar algún tipo de dilsolvente específico o el producto que indica EMARU.