  We introduce a category of filtered F-isocrystals and construct a symbol maps
on Milnor K-theory which is compatible with the syntomic symbol maps to the log
syntomic cohomology. These are fundamental materials in our applications on
syntomic regulators which we work in other papers.
