Thumb symbol lookup (Paul Brook)