How do you remove pencil marks from porcelain tile?

To remove pencil marks from porcelain tile, start by using a damp cloth or sponge to wipe the area, as moisture can help lift the marks. If that doesn't work, try a mild cleaner or a mixture of baking soda and water to create a paste, applying it to the marks and gently scrubbing with a soft cloth. For stubborn marks, rubbing alcohol or white vinegar can also be effective. Always test any cleaning solution on a small, inconspicuous area first to avoid damaging the tile.